PACER: Proportional Detection of Data Races ∗ Michael D. Bond Katherine E. Coons Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Concurrency
• Software engineering
• Computing
• Computer programming
• Parallel computing
• Race condition
• Sampling
• Pacer
• Synchronization
• Memory model
• Vector space

GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact

Source URL: plv.mpi-sws.org

• Software engineering
• Mathematical logic
• Computing
• Concurrency
• Logic in computer science
• Computer memory
• First-order logic
• Predicate logic
• Memory model
• Hoare logic
• Lock
• FO

Sequence-to-Sequence Neural Net Models for Grapheme-to-Phoneme Conversion Kaisheng Yao, Geoffrey Zweig Microsoft Research {kaisheny, gzweig}@microsoft.com

Source URL: research.microsoft.com

• Artificial neural networks
• Machine learning
• Applied mathematics
• Cybernetics
• Long short-term memory
• Recurrent neural network
• Speech recognition
• Bidirectional recurrent neural networks
• Artificial intelligence
• Language model
• NETtalk
• Backpropagation through time

Appears in the proceedings of the 34th International Symposium on Microarchitecture (MICRO), Dec. 3-Dec. 5, 2001, Austin, Texas. Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution Ravi Rajwar a

Source URL: pages.cs.wisc.edu

• Concurrency control
• Computing
• Computer architecture
• Test-and-set
• Transactional memory
• Non-blocking algorithm
• Synchronization
• Monitor
• Lock
• Linearizability
• Consistency model
• CPU cache

Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency Cary G. Gray and David R. Cheriton Computer Science Department !3tanford University

Source URL: web.stanford.edu

• Network file systems
• Diskless node
• Cache
• File server
• Server
• File system
• Shared resource
• Distributed shared memory
• Andrew File System
• Consistency model
• Microsoft DNS

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace

Source URL: www.upc.mtu.edu

• Parallel computing
• Concurrent computing
• Computer memory
• Memory barrier
• Unified Parallel C
• Universal Product Code
• Thread
• Consistency model
• Synchronization
• Java concurrency
• Monitor

Design  Space  Exploration  of  Memory  Model     for  Heterogeneous  Computing   Jieun  Lim*  and  Hyesoon  Kim     *Seoul  Na/onal  University  

Source URL: safari.ece.cmu.edu

Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Computing
• ISO standards
• Bernhard Rumpe
• Unified Modeling Language
• Kevin Lano
• Software and Systems Modeling
• Modeling language
• Jean-Marc Jzquel
• Domain-specific modeling
• Enterprise engineering